机译:基于两阶段招标相结合的投标价格模型构建
机译:基于可配置模型提取的故障分析模型检查方法
机译:基于在线模型检查的参数估计与混合功能Petri网的秀丽隐杆线虫神经元命运决策模拟模型
机译:基于模型检查的电子公开招标一种创新方法
机译:利用肉的生物力学特性预测肉嫩度的创新方法。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:基于模型检查的电子公开招标创新方法
机译:基于粘聚区模型的方法模拟反应堆压力容器钢中延性脆性断裂过渡,国际创新核系统结构材料研讨会。